Từ điển kỹ thuật
Lĩnh vực: toán & tin
- công cụ suy luận tự động hóa
- art (automated reasoning tool): Từ điển kỹ thuậtLĩnh vực: toán & tincông cụ suy luận tự động hóa
- logic programming and automated reasoning (lp): Từ điển kỹ thuậtLĩnh vực: toán & tinlập trình lôgic và suy luận tự động
- reasoning: ['ri:zniɳ]danh từlý luận, lập luận, lý lẽsự tranh luận, sự cãi lýthere is no reasoning with himkhông nói lý được với hắn tatính từcó lý trí, biết suy luậnTừ điển kỹ thuậtlý luậnsự lập luậnmonotonic
